В книге собраны статьи и эссе последнего десятилетия о науке и ее месте в современном обществе. Для читателей, интересующихся наукой и ее людьми.

The Mathematical Intelligencer recently published a note by Y. Sergeyev that challenges both mathematics and intelligence. We examine Sergeyev’s claims concerning his purported Infinity computer. We compare his grossone system with the classical Levi-Civita fields and with the hyperreal framework of A. Robinson, and analyze the related algorithmic issues inevitably arising in any genuine computer implementation. We show that Sergeyev’s grossone system is unnecessary and vague, and that whatever consistent subsystem could be salvaged is subsumed entirely within a stronger and (...) clearer system. Lou Kauffman, who published an article on a grossone, places it squarely outside the historical panorama of ideas dealing with infinity and infinitesimals. (shrink)

In relation to a thesis put forward by Marx Wartofsky, we seek to show that a historiography of mathematics requires an analysis of the ontology of the part of mathematics under scrutiny. Following Ian Hacking, we point out that in the history of mathematics the amount of contingency is larger than is usually thought. As a case study, we analyze the historians’ approach to interpreting James Gregory’s expression ultimate terms in his paper attempting to prove the irrationality of \. Here (...) Gregory referred to the last or ultimate terms of a series. More broadly, we analyze the following questions: which modern framework is more appropriate for interpreting the procedures at work in texts from the early history of infinitesimal analysis? As well as the related question: what is a logical theory that is close to something early modern mathematicians could have used when studying infinite series and quadrature problems? We argue that what has been routinely viewed from the viewpoint of classical analysis as an example of an “unrigorous” practice, in fact finds close procedural proxies in modern infinitesimal theories. We analyze a mix of social and religious reasons that had led to the suppression of both the religious order of Gregory’s teacher degli Angeli, and Gregory’s books at Venice, in the late 1660s. (shrink)

We apply Benacerraf’s distinction between mathematical ontology and mathematical practice to examine contrasting interpretations of infinitesimal mathematics of the seventeenth and eighteenth century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass’s ghost behind some of the received historiography on Euler’s infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a “primary point of reference for understanding the eighteenth-century theories.” Meanwhile, scholars like (...) Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler’s own. Euler’s use of infinite integers and the associated infinite products are analyzed in the context of his infinite product decomposition for the sine function. Euler’s principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro’s assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler’s work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves. (shrink)

Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy’s proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy’s proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy’s proof closely and show that it finds closer proxies in a different modern framework.

Abraham Robinson’s framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Their procedures have been often viewed through the lens of the success of the Weierstrassian foundations. We propose a view without passing through the lens, by means of proxies for such procedures in the modern theory of infinitesimals. The real accomplishments of calculus and analysis had been based primarily on the elaboration of novel techniques for (...) solving problems rather than a quest for ultimate foundations. It may be hopeless to interpret historical foundations in terms of a punctiform continuum, but arguably it is possible to interpret historical techniques and procedures in terms of modern ones. Our proposed formalisations do not mean that Fermat, Gregory, Leibniz, Euler, and Cauchy were pre-Robinsonians, but rather indicate that Robinson’s framework is more helpful in understanding their procedures than a Weierstrassian framework. (shrink)

We examine Paul Halmos’ comments on category theory, Dedekind cuts, devil worship, logic, and Robinson’s infinitesimals. Halmos’ scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is “certainty” and “architecture” yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to (...) teach us the opposite lesson, namely that the castle is floating in midair. Halmos’ realism tends to color his judgment of purely scientific aspects of logic and the way it is practiced and applied. He often expressed distaste for nonstandard models, and made a sustained effort to eliminate first-order logic, the logicians’ concept of interpretation, and the syntactic vs semantic distinction. He felt that these were vague, and sought to replace them all by his polyadic algebra. Halmos claimed that Robinson’s framework is “unnecessary” but Henson and Keisler argue that Robinson’s framework allows one to dig deeper into set-theoretic resources than is common in Archimedean mathematics. This can potentially prove theorems not accessible by standard methods, undermining Halmos’ criticisms. (shrink)

Plato's dialogues frequently criticize traditional Greek myth, yet Plato also integrates myth with his writing. Daniel S. Werner confronts this paradox through an in-depth analysis of the Phaedrus, Plato's most mythical dialogue. Werner argues that the myths of the Phaedrus serve several complex functions: they bring nonphilosophers into the philosophical life; they offer a starting point for philosophical inquiry; they unify the dialogue as a literary and dramatic whole; they draw attention to the limits of language and the limits of (...) knowledge; and they allow Plato to co-opt cultural authority as a way of defining and legitimating the practice of philosophy. Platonic myth, as a species of traditional tale, is thus both distinct from philosophical dialectic and similar to it. Ultimately, the most powerful effect of Platonic myth is the way in which it leads readers to participate in Plato's dialogues and to engage in a process of self-examination. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

In Seeing Things as They Are (Searle 2015), Searle developed a direct realist’s theory of perception. According to direct realism, physical objects are directly and immediately perceived. Searle claims that Berkeley’s theory of perception goes against direct realism. For Searle, Berkeley’s theory suggests that only subjective experiences (ideas) are directly and immediately perceived, not physical objects. Contrary to Searle, G. S. Pappas claims that Berkeley’s theory of perception is consistent with the view that physical objects are immediately perceivable (Pappas 1982; (...) Pappas 1987). Given the conflicting interpretations of Berkeley’s theory of perception, this paper attempts to defend Searle’s position on Berkeley’s theory of perception. It refutes Pappas’ interpretation by arguing that he is inconsistent with Berkeley’s theses of ontological phenomenalism and heterogeneity thesis. (shrink)

In 'Een handvol filosofen' staan de filosofen centraal die sinds de oprichting van de Vrije Universiteit in 1880 aan deze instelling verbonden zijn geweest. Het gaat hierbij niet alleen om de inhoud van hun werk, maar ook om de personen zelf. Er waren filosofiedocenten die zich met de universiteit identificeerden en zich volledig konden ontplooien. Er waren er echter ook voor wie dit niet gold, die geïsoleerd of in gewetensnood raakten. Veel filosofiestudenten waren actief betrokken bij wat er in hun (...) faculteit gebeurde. Zij namen initiatieven, protesteerden soms tegen de gang van zaken en kozen partij in conflictsituaties. Sinds het eind van de jaren zestig van de twintigste eeuw verloor de Vrije Universiteit geleidelijk haar christelijk karakter. Tegenwoordig werken alle stafleden vanuit hun eigen motivatie mee aan een hoofdzakelijk seculier geworden universiteit, die ruimte biedt voor religieuze en levensbeschouwelijke diversiteit. (shrink)

This article is the guest editors’ introduction to the special issue in Business & Society on “SMEs and CSR in Developing Countries.” The special issue includes four original research articles by Hamann, Smith, Tashman, and Marshall; Allet; Egels-Zandén; and Puppim de Oliveira and Jabbour on various aspects of the relationship of small and medium enterprises to corporate social responsibility in developing countries.

Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own thought processes. Yanofsky describes (...) simple tasks that would take computers trillions of centuries to complete and other problems that computers can never solve; perfectly formed English sentences that make no sense; different levels of infinity; the bizarre world of the quantum; the relevance of relativity theory; the causes of chaos theory; math problems that cannot be solved by normal means; and statements that are true but cannot be proven. He explains the limitations of our intuitions about the world -- our ideas about space, time, and motion, and the complex relationship between the knower and the known. Moving from the concrete to the abstract, from problems of everyday language to straightforward philosophical questions to the formalities of physics and mathematics, Yanofsky demonstrates a myriad of unsolvable problems and paradoxes. Exploring the various limitations of our knowledge, he shows that many of these limitations have a similar pattern and that by investigating these patterns, we can better understand the structure and limitations of reason itself. Yanofsky even attempts to look beyond the borders of reason to see what, if anything, is out there. (shrink)

t. 1. Apo ton prōto skeptomeno anthrōpo mechri ton 6. aiōna M.Ch. -- t. 2. Apo ton 7. aiōna M.Ch. mechri to sēmera.

Richard Janko's acclaimed translation of Aristotle's _Poetics_ is accompanied by the most comprehensive commentary available in English that does not presume knowledge of the original Greek. Two other unique features are Janko's translations with notes of both the _Tractatus Coislinianus_, which is argued to be a summary of the lost second book of the Poetics, and fragments of Aristotle’s dialogue On Poets, including recently discovered texts about catharsis, which appear in English for the first time.

From the concrete experience of war, Michael S. Yandell constructs a phenomenology of “negative revelation” in which false or distorted claims of goodness and justice disintegrate and become meaningless, adding depth to the term moral injury.

Capital punishment—the legally authorized killing of a criminal offender by an agent of the state for the commission of a crime—stands in special need of moral justification. This is because execution is a particularly severe punishment. Execution is different in kind from monetary and custodial penalties in an obvious way: execution causes the death of an offender. While fines and incarceration set back some of one’s interests, death eliminates the possibility of setting and pursuing ends. While fines and incarceration narrow (...) one’s routes to happiness, death eliminates its possibility. Not surprisingly, there is much debate about the moral permissibility of capital punishment. This entry maps the terrain of this debate. The first section discusses justifications of the death penalty as they appear in major theories of punishment. The second section surveys moral objections to execution that apply to most justifications. The third addresses procedural criticisms, which do not target the morality of execution so much as the justice of its implementation. (shrink)

R. S. Bluck’s engaging volume provides an accessible introduction to the thought of Plato. In the first part of the book the author provides an account of the life of the philosopher, from Plato’s early years, through to the Academy, the first visit to Dionysius and the third visit to Syracuse, and finishing with an account of his final years. In the second part contains a discussion of the main purpose and points of interest of each of Plato’s works. There (...) is a chapter on Plato’s central doctrine, the Theory of Ideas, and a translation of Plato’s _Seventh Letter_, which not only provides valuable additional material for the study of Plato’s thought but also contains a vivid account of many incidents in Plato’s life. (shrink)

Ptolemy reports three dated lunar eclipses observed by Hipparchus, and also refers to two more, without identifying them, which Hipparchus compared with two earlier counterparts (apparently, observed in Mesopotamia) to assess the validity of the Babylonian period relations of the lunar motion. Also, in Pliny the Elder’s Historia naturalis, we are told that a horizontal lunar eclipse (selenelion) at sunrise and moonset was reported (observed?) by Hipparchus. Reviewing a paper by G.J. Toomer in 1980, it is shown that the pairs (...) of the eclipses were, almost certainly, the ones occurring on “31 January 486 b.c. and 27 January 141 b.c.” and “19 November 502 b.c. and 14 November 157 b.c.”; and if Hipparchus observed from St. Stephen’s Hill in Rhodes, the most probable candidate for the selenelion at moonset was the lunar eclipse of 7 February 142 b.c., although he also had the chance to observe any of the four others, occurring on 3 July 150 b.c., 10 April 145 b.c., 26 November 139 b.c., and 15 November 138 b.c., on a sufficiently elevated mountain on the island. (shrink)

In this short, dense essay, Jean Cavaillès evaluates philosophical efforts to determine the origin - logical or ontological - of scientific thought, arguing that, rather than seeking to found science in original intentional acts, a priori meanings, or foundational logical relations, any adequate theory must involve a history of the concept. Cavaillès insists on a historical epistemology that is conceptual rather than phenomenological, and a logic that is dialectical rather than transcendental. His famous call (cited by Foucault) to abandon "a (...) philosophy of consciousness" for "a philosophy of the concept" was crucial in displacing the focus of philosophical enquiry from aprioristic foundations toward structural historical shifts in the conceptual fabric. This new translation of Cavaillès's final work, written in 1942 during his imprisonment for Resistance activities, presents an opportunity to reencounter an original and lucid thinker. Cavaillès's subtle adjudication between positivistic claims that science has no need of philosophy, and philosophers' obstinate disregard for actual scientific events, speaks to a dilemma that remains pertinent for us today. His affirmation of the authority of scientific thinking combined with his commitment to conceptual creation yields a radical defense of the freedom of thought and the possibility of the new. (shrink)

The practical goal of preventing premature death seems uncontroversial. But the term ‘premature death’ is vague with several, sometimes conflicting definitions. This ambiguity results in several conceptions with which not all will agree. Moreover, the normative rationale behind the goal of preventing premature deaths is masked by the operational definition of existing measures. In this article, we argue that ‘premature death’ should be recognized as a normative concept. We propose that normative theories should be used to justify measures of premature (...) death to provide them with normative validity and public legitimacy. (shrink)

This letter replies to the letter “Colonial and Neocolonial Barriers to Companion Digital Humans in Africa,” by Luís Cordeiro‐Rodrigues, in the same, May‐June 2024, issue of the Hastings Center Report.

This article critically analyzes Rawls’s attitude toward envy. In A Theory of Justice, Rawls is predominantly concerned with the threat that class envy poses to political stability. Yet he also briefly discusses the kind of envy that individuals experience toward their social peers, which he calls particular envy, and which I refer to as peer envy. He quickly concludes, however, that particular envy would not present a serious risk to the stability of his just society. In this article, I contest (...) this claim by arguing that the principles that structure Rawls’s ideal society are likely to exacerbate particular envy to a politically risky extent. Section 1 reconstructs his account of envy, giving special attention to his belief that competition kindles envy between peers. Section 2 then examines the way in which Rawls often endorses rivalry within the body politic. I argue that the society governed by justice as fairness is, on account of this rivalry, likely to generate a politically problematic degree of particular envy. In Section 3, I invoke ancient Greece as an example of a society that was, as a result of its intense competitiveness, often imperiled by dangerously elevated levels of peer envy. I then survey the key institutional mechanisms by which the ancient Greeks sought to manage this hazardous emotion. It turns out, however, that most of these mechanisms would be unavailable to Rawls insofar as they starkly contravene his principles of justice. I conclude that if Rawlsians wish to establish a society that fosters rivalry, they would do well to reflect on the means by which peer envy can be effectively harnessed. (shrink)

In this original work of cultural criticism, Allen S. Weiss explores the meaning of radio to the modern imagination.